Logic-based Program Synthesis And Transformation Maribel Fernández

Logic-based Program Synthesis And Transformation 24th International

Logic-based Program Synthesis And Transformation Peter J. Stuckey (u.

Sandro Etalle | Logic Based Program Synthesis And Transformation |

Michael Hanus | Logic-based Program Synthesis And Transformation |

Danny De Schreye | Logic-based Program Synthesis And Transformation |

Hirohisa Seki (u. A.) | Logic-based Program Synthesis And

Ricardo Peña (u. A.) | Logic-based Program Synthesis And

Maurizio Proietti | Logic Program Synthesis And Transformation |

Franco Turini (u. A.) | Logic Program Synthesis And Transformation

Memory-based Logic Synthesis 2832

Logic Synthesis For Fsm-based Control Units 1697

Memory-based Logic Synthesis | Tsutomu Sasao | Taschenbuch | Paperback

Logic Synthesis For Fpga-based Control Units Structural Decomposition

Logic Synthesis And Verification 2333

Logic Synthesis For Fpga-based Control Units | Alexander Barkalov (u.